Automated Testing of Web Enabled Systems through FSM and Quick Test Professional

Software testing is an investigation conducted to provide stakeholders with information about the quality of the product or service under test. Software testing also provides an objective, independent view of the software to allow the business to appreciate and understand the risks of software implementation. Model-based testing refers to the processes and techniques for the automatic derivation of abstract test cases from abstract formal models, the generation of concrete tests from abstract tests, and the manual or automated execution of the resulting concrete test cases. Therefore, the key points of Model-based testing are the modelling principles for test generation, the test generation strategies and techniques, and the concretization of abstract tests into concrete, executable test. HP (Hewlett-Packard) Quick Test Professional is automated testing software designed for testing various software applications and environments. It performs functional and regression testing through a user interface such as a native GUI (graphical user interface) or web interface. Here a simple kind of Model-based testing, which is based on FSMs (finite state machines) is described. Each node of an FSM corresponds to a particular state of the SUT and each arc corresponds to an SUT (system under test) action, so to generate test sequences we can just traverse the FSM. We start with simple FSM models that are suitable for testing passive systems, such as unit testing of an object or class, and for testing deterministic reactive systems, where events occur in a known order.